منابع مشابه
Classical Model Theory of Fields
We begin with some thoughts on how model theory relates to other parts of mathematics, and on the indirect role of Gödel’s incompleteness theorem in this connection. With this in mind we consider in Section 2 the fields of real and p-adic numbers and show how these algebraic objects are understood model-theoretically: theorems of Tarski, Kochen, and Macintyre. This leads naturally to a discussi...
متن کاملThe (φ4)2 Field Theory as a Classical Ising Model
We approximate a (spatially cutoff) (φ4)2 Euclidean field theory by an ensemble of spin 1/2 Ising spins with ferromagnetic pair interactions. This approximation is used to prove a Lee-Yang theorem and GHS type correlation inequalities for the (0 4 ) 2 theory. Application of these results are presented.
متن کاملPsychometric Properties of the Brief Form of Professor-Students Rapport Scale-based on Classical Test Theory and Item-Response Theory
Introduction: In order to improve the quality of the teaching process, it is necessary to review the professor-student rapport. The purpose of the present study was to investigate the factor structure and item-response parameters of Professor-Students Rapport Scale-Brief (PSRS-B). Methods: In a descriptive-correlation study, 497 students from Shahid Beheshti University of Medical Sciences were ...
متن کاملA Possibilistic Uncertainty Model in Classical Reliability Theory
In this paper, it is argued that a possibilistic uncertainty model can be used to represent linguistic uncertainty about the states of a system and of its components. Furthermore, the basic properties of the application of this model to classical reliability theory are studied. The notion of the possibilistic reliability of a system or a component is defined. Based upon the concept of a binary ...
متن کاملA Classical Set-Theoretic Model of Polymorphic Extensional Type Theory
We give a new semantic foundation for type theories in the lineage of Martin-LL of's \polymorphic extensional" type theory, and use it to give a model of the constructive type theory of the interactive theorem proving system Nuprl. These type theories are based on an operational semantics of an untyped programming language. We show how to integrate classical set-theoretic objects, such as funct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physics Letters B
سال: 2013
ISSN: 0370-2693
DOI: 10.1016/j.physletb.2013.02.016